Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

In 1947 Donald Cary Williams claimed in The Ground of Induction to have solved the Humean problem of induction, by means of an adaptation of reasoning first advanced by Bernoulli in 1713. Later on David Stove defended and improved upon Williams’ argument in The Rational- ity of Induction (1986). We call this proposed solution of induction the ‘Williams-Stove sampling thesis’. There has been no lack of objections raised to the sampling thesis, and it has not been widely accepted. In our (...) opinion, though, none of these objections has the slightest force, and, moreover, the sampling thesis is undoubtedly true. What we will argue in this paper is that one particular objection that has been raised on numerous occasions is misguided. This concerns the randomness of the sample on which the inductive extrapolation is based. (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de A y (...) de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

مداخلة مترجمة عن الفرنسية للفيلسوف الفرنسي جيل دولوز.

Waiting for Godot’s many commentators have emphasized the absurdity of hope in the play, but there has not been an account of how the play reprises hope’s historical transformation and weakening in modernity. This essay provides that account, arguing that Beckett’s Waiting for Godot sponsors a form of hope appropriate to the predicaments of modern societies. Godot stages the blockage of hope by reflecting the obsolescence and fragmentation of the religious and progressive legitimations for the concept that used to be (...) broadly convincing. Despite this blockage, however, Godot does not give in to nihilism. It, rather, models a form of responsible, self-aware hope appropriate to an historical situation where hope does not admit of rational justification. To develop this interpretation of the play and to defend its minimalist conception of hope, the essay draws on Theodor W. Adorno’s Negative Dialectics and aesthetics. (shrink)

Sometimes someone does something morally wrong in clear-eyed awareness that what she is doing is wrong. More commonly, a wrongdoer fails to see that her conduct is wrong. Call the latter behavior unwitting wrongful conduct. It is generally agreed that an agent can be blameworthy for such conduct, but there is considerable disagreement about how one’s blameworthiness in such cases is to be explained, or what conditions must be satisfied for the agent to be blameworthy for her conduct. Many theorists (...) hold that an agent’s blameworthiness for unwitting wrongful conduct must stem from—or trace back to—her blameworthiness for something else. And appeals to tracing in these cases lead some writers to a highly revisionist view, on which people are blameworthy for wrongdoing much less often than we ordinarily think (and our mistake, unfortunately, isn’t about how much wrongdoing there is). In this chapter, I set out the main claims of an argument for such a view and respond to it. I offer grounds for retaining a good many of the judgments that the revisionist would have us reject. The defense rests to a significant extent on commonsense views about the psychological capacities and abilities to act that people ordinarily possess, views that, as far as I can tell, revisionists have not shown to be mistaken. (shrink)

1. We sometimes angrily confront, pointedly ostracize, castigate, or denounce those whom we think have committed moral offences. Conduct of this kind may be called blaming behaviour. When genuine,...

Many philosophical theories of causation are egalitarian, rejecting a distinction between causes and mere causal conditions. We sought to determine the extent to which people's causal judgments discriminate, selecting as causes counternormal events—those that violate norms of some kind—while rejecting non-violators. We found significant selectivity of this sort. Moreover, priming that encouraged more egalitarian judgments had little effect on subjects. We also found that omissions are as likely as actions to be judged as causes, and that counternormative selectivity appears to (...) apply equally to actions and omissions. (shrink)

Consider the idea that suffering of some specific kind is deserved by those who are guilty of moral wrongdoing. Feeling guilty is a prime example. It might be said that it is noninstrumentally good that one who is guilty feel guilty (at the right time and to the right degree), or that feeling guilty (at the right time and to the right degree) is apt or fitting for one who is guilty. Each of these claims constitutes an interesting thesis about (...) desert, given certain understandings of what desert is. After examining these claims, the paper briefly explores the idea that an offender might deserve certain forms of treatment by others. The paper concludes by contrasting the modest theses on which it focuses with a far bolder one, to the effect that if we are morally responsible, then it makes sense to suppose that some of us might deserve to suffer eternal torment. The more modest theses do not commit one to anything of this sort. (shrink)

Explains Aristotle's views on the possibility of continuous variation between biological species. While the Porphyrean/Linnean classification of species by a tree suggests species are distributed discretely, Aristotle admitted continuous variation between species among lower life forms.

As genealogy has gained greater disciplinary recognition over the last two decades, it has become increasingly common to call any historically oriented philosophy, such as Theodor W. Adorno’s, “genealogy.” In this article, I show that Adorno’s philosophy performs genealogy’s defining functions of “problematization” and “possibilization.” Moreover, it does so in unique ways that constitute a significant contribution to genealogical practice. Adorno’s method, here called “tragic genealogy,” is particularly well-suited to the genealogical analysis of traditional philosophical problems and to the critical (...) reanimation of declining, but ethically significant, values. Nevertheless, I also argue that Adorno’s philosophy cannot be assimilated into genealogical practice without rejecting or revising some of its Hegelian influences, particularly its philosophy of history and its modal metaphysics. (shrink)

Comparative valuation of different policy interventions often requires interpersonal comparability of benefit. In the field of health economics, the metric commonly used for such comparison, quality adjusted life years (QALYs) gained, has been criticized for failing to respect the equality of all persons’ intrinsic worth, including particularly those with disabilities. A methodology is proposed that interprets ‘full quality of life’ as the best health prospect that is achievable for the particular individual within the relevant budget constraint. This calibration is challenging (...) both conceptually and operationally as it shifts dramatically when technology or budget developments alter what can be achieved for incapacitated individuals. The proposal nevertheless ensures that the maximal achievable satisfaction of one person’s preferences can carry no more intrinsic value than that of another. This approach, which can be applied to other domains of social valuation, thus prevents implicit discrimination against the elderly and those with irremediable incapacities. (shrink)

The blameworthy deserve blame. So runs a platitude of commonsense morality. My aim here is to set out an understanding of this desert claim (as I call it) on which it can be seen to be a familiar and attractive aspect of moral thought. I conclude with a response to a prominent denial of the claim.

A growing number of philosophers now hold that agent causation is required for agency, or free will, or moral responsibility. To clarify what is at issue, this paper begins with a distinction between agent causation that is ontologically fundamental and agent causation that is reducible to or realized in causation by events or states. It is widely accepted that agency presents us with the latter; the view in question claims a need for the former. The paper then examines a “disappearing (...) agent” argument from Derk Pereboom that is aimed at showing that free will requires agent causation that is ontologically fundamental. It is argued that the argument fails. Further, it is argued that, contrary to Pereboom’s claim, the issue raised by his disappearing agent argument is distinct from the problem of present luck that libertarian theories of free will face. The paper concludes with an assessment of the prospects for success of a disappearing agent argument showing that agent causation that is ontologically fundamental is required for agency tout court. (shrink)

Free will is often said—by compatibilists and incompatibilists alike—to be a power (or complex of powers) of agents. This paper offers proposals for, and examines the prospects of, a powers-conception of free will that takes the powers in question to be causal dispositions. A difficulty for such an account stems from the idea that when one exercises free will, it is up to oneself whether one wills to do this or that. The paper also briefly considers whether a powers-conception that (...) invokes powers of a different kind, such as agent-causal or noncausal powers, might fare better with respect to this problem. (shrink)

Often when one omits to do a certain thing, there's no action that is one's omission; one's omission, it seems, is an absence of any action of some type. This paper advances the view that an absence of an action--and, in general, any absence--is nothing at all: there is nothing that is an absence. Nevertheless, it can result from prior events that one omits to do a certain thing, and there can be results of the fact that one omits to (...) do something. This is so even if absences cannot be causes or causal effects. (shrink)

Let F be a fact in virtue of which an agent, S, is blameworthy for performing an act of A-ing. We advance a slightly qualified version of the following thesis: -/- (Reason) F is (at some time) a reason for S to feel guilty (to some extent) for A-ing. -/- Leaving implicit the qualification concerning extent, we claim as well: -/- (Desert) S's having this reason suffices for S’s deserving to feel guilty for A-ing. -/- We also advance a third (...) thesis connecting desert of feeling guilty with the fittingness of this response. -/- In light of our three theses, we address several claims that have been made regarding responsibility and desert. We take issue with the divorce of desert from responsibility. We find acceptable a claim regarding blameworthiness and reason to induce guilt, and we defend the idea that it is noninstrumentally good that one who is blameworthy be subject to a fitting feeling of guilt. We argue against a view on which desert of blame has a teleological dimension. (shrink)

Negligence and omission are closely related: commonly, in cases of negligent action, the agent has failed to turn her attention to some pertinent fact. But that omission is itself typically unwitting. A sufficient condition for blameworthiness for an unwitting omission is offered, as is an account of blameworthiness for negligent action. It is argued that one can be blameworthy for wrongdoing done from ignorance even if one is not blameworthy for that ignorance.

It is widely held that one can be responsible for doing something that one was unable to avoid doing. This paper focuses primarily on the question of whether one can be responsible for not doing something that one was unable to do. The paper begins with an examination of the account of responsibility for omissions offered by John Martin Fischer and Mark Ravizza, arguing that in many cases it yields mistaken verdicts. An alternative account is sketched that jibes with and (...) explains judgments about a variety of omissions cases, including intentional omissions as well as simple failures to act. (shrink)

Accounts of moral responsibility commonly focus on responsibility for actions and their consequences. But we can be responsible as well for omitting to act or refraining from acting, and for consequences of these. And since omitting and refraining are not in every case performing an action, an account of responsibility for actions will not apply straightforwardly to these cases. This paper advances proposals concerning responsibility for omitting, refraining, and their consequences. Providing such an account is complicated by the fact that (...) cases of omitting or refraining are quite varied. (shrink)

According to what may be called PERMANENT, blameworthiness is forever: once you are blameworthy for something, you are always blameworthy for it. Here a prima facie case for this view is set out, and the view is defended from two lines of attack. On one, you are no longer blameworthy for a past offense if, despite being the person who committed it, you no longer have any of the pertinent psychological states you had at the time of the misdeed. On (...) the other, you can cease to be blameworthy if you sufficiently experience guilt or remorse, suffer enough punishment, or are forgiven for your misdeed. Although several points made in support of the second challenge are accepted, they are entirely consistent with PERMANENT. Neither line of attack, as so far presented, undermines the plausibility of this view stemming from the prima facie case. (shrink)

Part of our ordinary conception of our freedom is the idea that commonly when we act—and often even when we don’t act—it is up to us whether we do this or that. This paper examines efforts to spell out what must be the case for this idea to be correct. Several claims regarding the basic metaphysics of agential powers are considered; they are found not to shed light on the issue. Thinking about agents’ psychological capacities provides some illumination, though the (...) idea of freedom remains puzzling. (shrink)

Several philosophers claim that the phenomenology of one’s own agency conflicts with standard causal theories of action, couched in terms of causation by mental events or states. Others say that the phenomenology is prima facie incompatible with such a theory, even if in the end a reconciliation can be worked out. Here it is argued that the type of action theory in question is consistent with what can plausibly be said to be presented to us in our experience of our (...) agency. Several routes to a claim that there is nevertheless a prima facie incompatibility are examined, and all are found wanting. The phenomenology of agency, it is argued, is no threat to a standard causal theory of action. (shrink)

Consider cases in which an agent simply doesn.t think to do a certain thing, or doesn't think of a crucial consideration favoring doing a certain thing, or intends to do a certain thing but forgets to do it. In such a case, is the agent able to do the thing that she fails to do? Assume that commonly we all‐in can do things that we do not do. Here I argue that, given this assumption, in the cases under consideration, too, (...) commonly agents all‐in can do the things they fail to do. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

Although we are morally responsible for things of various kinds, what we bear direct responsibility for are certain exercises of our agency (and perhaps some omissions of these). Theorists disagree about what kind of agency is in this respect the source of our responsibility. Some hold that it is agency the exercises of which are actions. Others say that it is agency exercised in forming reasons-responsive attitudes on the basis of our take on reasons (or value). With attention to the (...) relation of moral responsibility to moral obligation, I argue for the first of these views. (shrink)

We take it for granted that commonly we act freely and we are generally morally responsible for what we do when we so act. Can there be such a thing as freely omitting to act, or freely refraining or forbearing, and can we be similarly responsible for omitting, refraining, and forbearing? This paper advances a view of freely omitting to act. In many cases, freedom in omitting cannot come to the same thing as freedom in acting, since in many cases (...) omitting to do a certain thing is not a matter of performing an action of any sort. There are nevertheless important similarities. It is argued, further, that we should view responsibility for omitting to act as capable of being basic or underived, not needing to derive from one’s responsibility for prior actions. Finally, brief consideration is given to a proposal concerning what is required for responsibility for omitting to do a certain thing. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Several theories of causation reject causation of or by absences. They thereby clash with much of what we think and say about what causes what. This paper examines a way in which one kind of theory, causal dispositionalism, can be modified so as to accept absence causation, while still retaining a fundamental commitment of dispositionalism. The proposal adopts parts of a strategy described by David Lewis. The paper concludes with a brief discussion of the problem of the proliferation of causes.

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

This chapter is a contribution to an exchange with Carolina Sartorio about intentional omissions.

Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

A comprehensive theory of agency will encompass not just acting but also omitting to act and refraining from acting. Some theorists maintain that a causal theory can be applied to acting, omitting, and refraining in a perfectly uniform manner, for each omission or instance of refraining can be identified with some garden-variety action. Here it is argued that in plenty of cases this strategy fails. Sufficient conditions for omitting or refraining are offered that do not require there to be, in (...) every case, anything that is an omission or act of refraining. Disjoining these with a causal theory of action would leave us with a view of agency that is less uniform than what might have been preferred; but diversity in the subject matter, it is suggested, might preclude any more uniform theory. (shrink)

This paper examines the view of abilities to act advanced by Kadri Vihvelin in Causes, Laws, and Free Will. Vihvelin argues that (i) abilities of an important kind are “structurally” like dispositions such as fragility; (ii) ascriptions of dispositions can be analyzed in terms of counterfactual conditionals; (iii) ascriptions of abilities of the kind in question can be analyzed similarly; and (iv) we have the free will we think we have by having abilities of this kind and being in circumstances (...) that are propitious for their exercise. I raise doubt about each of these claims. Further, I argue that even if abilities of the kind in question are dispositions, and even if determinism is compatible with our commonly having unexercised abilities of this kind, the compatibility of determinism and free will remains in question. (shrink)

Among the factors necessary for the occurrence of some event, which of these are selectively highlighted in its explanation and labeled as causes — and which are explanatorily omitted, or relegated to the status of background conditions? Following J. S. Mill, most have thought that only a pragmatic answer to this question was possible. In this paper I suggest we understand this ‘causal selection problem’ in causal-explanatory terms, and propose that explanatory trade-offs between abstraction and stability can provide a principled (...) solution to it. After sketching that solution, it is applied to a few biological examples, including to a debate concerning the ‘causal democracy’ of organismal development, with an anti-democratic (though not a gene-centric) moral. (shrink)

2015 Reprint of 1956 Printing. Full facsimile of the original edition. Not reproduced with Optical Recognition Software. Cybernetics is here defined as "the science of control and communication, in the animal and the machine"-in a word, as the art of steersmanship; and this book will interest all who are interested in cybernetics, communication theory and methods for regulation and control. W. Ross Ashby (1903-1972) was an English psychiatrist and a pioneer in cybernetics, the study of complex systems. His two books, (...) "Design for a Brain" and "An Introduction to Cybernetics," were landmark works. They introduced exact and logical thinking into the nascent discipline and were highly influential. Contents include: What is new -- Change -- The Determinate Machine -- The Machine with Input -- Stability -- The Black Box -- Quantity of Variety -- Transmission of Variety -- Incessant Transmission -- Regulation in Biological Systems -- Requisite Variety -- The Error-controlled Regulator -- Regulating the Very Large System -- Amplifying Regulation. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

Both realist and anti-realist accounts of natural kinds possess prima facie virtues: realists can straightforwardly make sense of the apparent objectivity of the natural kinds, and anti-realists, their knowability. This paper formulates a properly anti-realist account designed to capture both merits. In particular, it recommends understanding natural kinds as ‘categorical bottlenecks,’ those categories that not only best serve us, with our idiosyncratic aims and cognitive capacities, but also those of a wide range of alternative agents. By endorsing an ultimately subjective (...) categorical principle, this view sidesteps epistemological difficulties facing realist views. Yet, it nevertheless identifies natural kinds that are fairly, though not completely, stance-independent or objective. (shrink)

Philosophical discussions of species have focused on multicellular, sexual animals and have often neglected to consider unicellular organisms like bacteria. This article begins to fill this gap by considering what species concepts, if any, apply neatly to the bacterial world. First, I argue that the biological species concept cannot be applied to bacteria because of the variable rates of genetic transfer between populations, depending in part on which gene type is prioritized. Second, I present a critique of phylogenetic bacterial species, (...) arguing that phylogenetic bacterial classification requires a questionable metaphysical commitment to the existence of essential genes. I conclude by considering how microbiologists have dealt with these biological complexities by using more pragmatic and not exclusively evolutionary accounts of species. I argue that this pragmatism is not borne of laziness but rather of the substantial conceptual problems in classifying bacteria based on any evolutionary standard. (shrink)

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

It is commonly claimed that the universality of critical phenomena is explained through particular applications of the renormalization group. This article has three aims: to clarify the structure of the explanation of universality, to discuss the physics of such RG explanations, and to examine the extent to which universality is thus explained. The derivation of critical exponents proceeds via a real-space or a field-theoretic approach to the RG. Building on work by Mainwood, this article argues that these approaches ought to (...) be distinguished: while the field-theoretic approach explains universality, the real-space approach fails to provide an adequate explanation. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

Programs of drug testing welfare recipients are increasingly common in US states and have been considered elsewhere. Though often intensely debated, such programs are complicated to evaluate because their aims are ambiguous – aims like saving money may be in tension with aims like referring people to treatment. We assess such programs using a proportionality approach, which requires that for ethical acceptability a practice must be: reasonably likely to meet its aims, sufficiently important in purpose as to outweigh harms incurred, (...) and lower in costs than feasible alternatives. In the light of empirical findings, we argue that the programs fail the three requirements. Pursuing recreational drug users is not important in the light of costs incurred, while dependent users who may require referral are usually identifiable without testing and typically need a broader approach than one focussing on drugs. Drug testing of welfare recipients is therefore not ethically acceptable policy. (shrink)